Verification of marine forecasts using an objective area forecast verification system

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Forecast verification using image warping

TODO

Runtime verification of programs using rule-based active system

verification of mm5 forecast precipitation over iran

during the last several years, application of numerical weather prediction models in the country have become common in both research and operations, even though systematic verification of the models’ results using statistical methods has rarely been conducted (sodoudi et al. 2009). this paper aims at comparing the mm5 24-hour precipitation forecasts with the corresponding observations using sta...

Probabilistic forecast verification

Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Papers published in Hydrology and Earth System Sciences Discussions are under open-access review for the journal Hydrology and Earth System Sciences Abstract Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Abstract In the present paper we describe some methods for verifying and evalua...